From effc516f0d1fed43afedca2d13a5af941f5fc4d5 Mon Sep 17 00:00:00 2001 From: "kaf24@firebug.cl.cam.ac.uk" Date: Wed, 30 Nov 2005 12:10:34 +0100 Subject: [PATCH] domain_pause duplicates the code from vcpu_pause. Eliminate the duplicate code and make domain_pause a mirror of the existing domain_unpause. Signed-off-by: Tony Breeds --- xen/common/domain.c | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/xen/common/domain.c b/xen/common/domain.c index b32087a155..9d2806d9ee 100644 --- a/xen/common/domain.c +++ b/xen/common/domain.c @@ -293,11 +293,7 @@ void domain_pause(struct domain *d) struct vcpu *v; for_each_vcpu( d, v ) - { - BUG_ON(v == current); - atomic_inc(&v->pausecnt); - vcpu_sleep_sync(v); - } + vcpu_pause(v); sync_pagetable_state(d); } -- 2.30.2